mu($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $f$(0)$\rightarrow$ 0 else mu($\lambda$$x$.$f$($x$+1))+1 fi  \emph{(recursive)}